To Contribute
As for any open project, there are several ways in which you can contribute. The simplest one is to provide additional benchmarks and case studies (or the –possibly randomized- tools that generate them). The other most common type of interaction is as user and possibly participating on discussions and forums on the case studies and benchmarks. The third is to contribute to this web site with new ideas, additions and of course, any (constructive please) criticism.
As provider of case studies and benchmarks.
Please remember that you are required to provide not only the case study or benchmarks, but also information about the format in which it is described and a reference of description of the associated model semantics. For issues related to intellectual property, we only look for examples from trusted sources. Therefore, you will be always required to contact us first. The list of required info in case you want us to publish the case for you is.
- The model of the benchmark or case study, with any related info (code, documentation …)
- A signed document in which you declare you are owner of the example.
- The source and owner of the intellectual properties on the example
- The description of the format in which the example is provided
- The description of the semantics assumed by the model
- Any additional document and description of the case
In this case, you can
Method 1
E-mail us directly with your benchmarks
Method 2
You can use the sourceForge.net to add your code.
Method 3
In case the benchmark is hosted by an external web site, simply send us a message with the desired reference, we will check and eventually add it to our list.
As a provider of a tool for the generation of benchmarks
We do not maintain tools for the automatic generation of models, except under explicit request by the tool creator/owner and for good reason (such as, the web site hosting the tool is closing and nobody else is willing to host it). In this case, please send us a message, we will evaluate the case and reply in the shortest possible time.
However, in the majority of cases, we are glad to provide pointers to the web sites hosting these tools with a short description. If you feel you have a tool (or know about a tool) that may be of interest for the timing analysis (or synthesis) of task systems and is not listed here, please send us a message and we will be glad to refer to it.
To comment, add sections or propose any changes to this web site
Please just send us a message
